#include <stdio.h>
int main() {
	char str[10000] = "#include <stdio.h>\nint main() {\n	char str[10000] = \"\";\n	printf(\"%s\\n\", str);\n	return 0;\n}\n";
	printf("%s\n", str);
	return 0;
}
